использование результатов ядерного удара - tradução para francês
Display virtual keyboard interface

использование результатов ядерного удара - tradução para francês

ИЗУЧЕНИЕ МЕТАТЕОРИИ ЛОГИКИ
Использование — упоминание

использование результатов ядерного удара      
exploitation du feu nucléaire
испытание ядерного оружия         
РАЗНОВИДНОСТЬ ИСПЫТАНИЯ ЯДЕРНОГО ОРУЖИЯ
Испытание ядерного оружия; Испытания ядерного оружия; Испытания ядерных зарядов; Подземные ядерные испытания; Ядерные испытания
expérience nucléaire
воздушно-реактивный двигатель         
  • ТРДД Rolls-Royce Pegasus поворотные сопла которого позволяют осуществлять вертикальные взлет и посадку. Устанавливается на самолёте Harrier.
ВИД РЕАКТИВНОГО ДВИГАТЕЛЯ
ANP (программа разработки авиационного ядерного двигателя); Винтовентиляторный двигатель; Турбовинтовентиляторный двигатель
moteur à jet, aérofusée, aéroréacteur

Definição

МЕТАЛОГИКА
область метатеоретических исследований проблем логики. См. Метатеория.

Wikipédia

Металогика

Метало́гика — изучение метатеории логики. В то время, как логика представляет собой исследование способов применения логических систем для рассуждения, доказательств и опровержений, металогика исследует свойства самих логических систем.

К области исследований металогики относятся: формальные языки, формальные системы и их интерпретации. Изучение интерпретации формальных систем есть раздел математической логики, известный как теория моделей, изучение дедуктивного аппарата формальной системы является разделом теории доказательств.

Отдельные вопросы металогики были известны со времени Аристотеля, однако только с появлением формальных языков в конце XIX в. и начале XX в. исследование основ логики стало процветающим направлением. В настоящее время металогика и метаматематика часто рассматриваются в качестве синонимов и в академическом образовании изучаются в рамках математической логики.